🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🤖 Program Synthesis
Automated Programming, Formal Specifications, Code Generation, Proof Search
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org
·
1d
💻
CS
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co
·
19h
·
Discuss:
Hacker News
⚙️
PL Implementation
Don’t compare programming to the real world
expressionstatement.com
·
17h
·
Discuss:
r/programming
👁️
System Observability
Specification Grounding: The Missing Link in Vibe Coding
unstract.com
·
14h
·
Discuss:
Lobsters
,
Hacker News
🔍
Formal Verification
Binding Application in Idris
andrevidela.com
·
8h
·
Discuss:
Hacker News
🔠
Type-Level Programming
The Next Wave
dumindu.github.io
·
11h
·
Discuss:
Hacker News
,
r/programming
🔬
Static Analysis
Speclinter MCP
github.com
·
1d
·
Discuss:
Hacker News
🔍
Formal Verification
My first verified (imperative) program
markushimmel.de
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔍
Formal Verification
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.com
·
14h
·
Discuss:
r/programming
📦
Unikernel Systems
Will LLMs and Vibe Coding Fuel a Developer Renaissance?
thenewstack.io
·
1d
🔄
Reproducible Builds
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com
·
13h
·
Discuss:
Substack
🐫
Embedded OCaml
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org
·
3h
🎮
Verification Games
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page
·
14h
·
Discuss:
Hacker News
🔬
Static Analysis
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com
·
15h
·
Discuss:
Hacker News
🔠
Type-Level Programming
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.org
·
14h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
👁️
System Observability
Show HN: Please check out my Free OpenAPI audit tool
devunus.com
·
10h
·
Discuss:
Hacker News
🌐
NetworkProtocols
Google Cloud Creates 3 Levels Of Agentic Software Coding
forbes.com
·
9h
·
Discuss:
r/programming
🖥️
Self-hosted Infrastructure
Software Reverse Engineering Bookshelf
mcgrewsecurity.com
·
11h
·
Discuss:
Hacker News
💾
Retro Computing
The inevitable trend toward low code makes programming tedious
thefoggiest.dev
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Data Science Weekly – Issue 607
datascienceweekly.substack.com
·
3h
·
Discuss:
Substack
👁️
System Observability
Loading...
Loading more...
Page 2 »